main: Allow replacement of org.gnome.Shell name

This was an oversight in the previous commit; if we don't
do this, then we just can't --replace.

https://bugzilla.gnome.org/show_bug.cgi?id=645593

diff --git a/src/main.c b/src/main.c
index eddb4c68c9176a10228cd9c9ca9103820cfaca0c..589b27f1a36ad44a49e3f7376096931eb92354cd 100644 (file)
--- a/src/main.c
+++ b/src/main.c
@@ -52,7 +52,7 @@ shell_dbus_init (gboolean replace)
                                    DBUS_PATH_DBUS,
                                    DBUS_INTERFACE_DBUS);
 
-  request_name_flags = DBUS_NAME_FLAG_DO_NOT_QUEUE;
+  request_name_flags = DBUS_NAME_FLAG_DO_NOT_QUEUE | DBUS_NAME_FLAG_ALLOW_REPLACEMENT;
   if (replace)
     request_name_flags |= DBUS_NAME_FLAG_REPLACE_EXISTING;
   if (!dbus_g_proxy_call (bus, "RequestName", &error,